Simulating Internet Scale Topologies with Metarouting
نویسندگان
چکیده
Research on Internet routing algorithms can benefit greatly by easily repeatable large-scale simulations conducted on realistic network topologies. Unfortunately, it is a challenging task to develop clear and unambiguous definitions of a routing protocol and its associated policies. Simulations often only operate on small scale topologies. Even if simulators could handle very large scale topologies, it is unclear whether we have accurate topologies that also capture policies. This paper leverage existing work on metarouting[6] to provide a large scale simulator. The simulator takes as input a topology and routing protocol/policy described using RAML[6]. We use a RAML description of BGP to evaluate the accuracy of some of the most popular AS level topologies. Our results reveal both strengths and weaknesses in these topologies. In particular, the results suggest the addition of a siblings policy actually reduces accuracy and topologies could improve by instead incorporating rules for selective prefix announcement.
منابع مشابه
Impact of Topology on BGP Convergence
For a few decades, the Boarder Gateway Protocol (BGP) realized Internet to be robust and acceptably stable despite its overwhelming growth. Although it is a fairly simple peer to peer protocol, yet because of the scale of Internet at which BGP is deployed, it is very difficult to understand behavior of BGP. It is considered a complex task to state what trends BGP may show if different internal ...
متن کاملFormalizing Metarouting in PVS
In this paper, we extend PVS specification logic with abstract metarouting theory to aid the development of complex routing protocol models based on metarouting, which is an algebraic framework for specifying routing protocols in a restricted fashion such that the protocol is guaranteed to converge. Our formalization of metarouting theory utilizes the theory-interpretation extensions of PVS. Ou...
متن کاملTesting Large Scale BGP Security in Replayable Network Environments
Understanding the operation of BGP and providing for its security is essential to the well-being of the Internet. To date, however, simulating every autonomous system comprising the Internet, in order to test proposals and security solutions, has been infeasible. We have developed lseb, a large scale BGP simulator, that generates realistic network topologies from routing data, and provides the ...
متن کاملA Game Theoretic Model for AS Topology Formation with the Scale-Free Property
Recent studies investigating the Internet topology reported that inter Autonomous System (AS) topology exhibits a power-law degree distribution which is known as the scale-free property. Although there are many models to generate scale-free topologies, no game theoretic approaches have been proposed yet. In this paper, we propose the new dynamic game theoretic model for the AS level Internet to...
متن کاملAdding Geographical Embedding to AS Topology Generation
To study large-scale effects on the Internet various models have been introduced to generate Internet-like autonomous system (AS) topologies. The models for large-scale AS topologies have been focused on replicating structural graph properties. One of the most promising model is the Positive Feedback Model model (PFP). These models however lack the ability to generate routing path and realistic
متن کامل